computability theory - Spanish English Dictionary